Nuprl Definition : right_child
4,23
postcript
pdf
right_child(
t
) == Case(
t
) Case
x
;
y
=>
y
Default =>
t
latex
Definitions
right_child(
t
)
,
Case(
value
)
body
,
Case
x
;
y
=>
body
(
x
;
y
)
cont
,
Default =>
body
FDL editor aliases
right_child
origin